Curry-Howard correspondence
[网络] 柯里-霍华德同构
热门查询
- contritely adv. 懊悔地
- dukedom n. 公爵的爵位；公爵的领地
- reddish adj. 微红的；略带红色的 n. (Reddish)人名；(英)雷迪什
- Mar. abbr. 三月（March的缩写）
- moneybags n. 富翁；阔佬；守财奴（moneybag的复数形式）
- anthropic adj. 有关人类的，人类的
- empyreal adj. 九天的；（古人宇宙论的）最高天的；苍天的；由纯净之火或光形成的
- weakfish n. 一种食用鱼
- bronzed adj. （皮肤晒得）古铜色的；镀青铜的 v. 镀青铜于；呈青铜色（bronze的过去分词和过去式）
- portal n. 大门，入口 n. (Portal)人名；(法、西、葡)波塔尔；(英)波特尔
- tai abbr. 泰国国际航空公司（Thai Airways International） n. (Tai)人名；(阿拉伯)塔伊
- maestro n. 大师；名家；大音乐家 n. (Maestro)人名；(意、西)马埃斯特罗
- leopold n. 利奥波德(m.)
- motorised 使用机动车的 机动的 有引擎的
- lowell n. 洛厄尔（男子名，等于Lovell）
- sparkle n. 闪耀；火花；活力 vt. 使闪耀；使发光 vi. 闪耀；发泡；活跃
- downstage n. 舞台的前半部 adj. 前台的；向舞台前方的 adv. 在舞台前地
- paired adj. [计] 成对的；配对的 v. 使成对；配合（pair的过去分词）
- sombrero n. 墨西哥帽；宽边帽 n. (Sombrero)人名；(西)松布雷罗
- kneeler n. 跪者；跪台；跪拜者；跪垫
考试词汇表
- compound method
- compound mooney
- compound motion
- compound needle
- compound number
- compound object
- compound option
- compound output
- compound pillar
- compound pistil
- compound pocket
- compound powder
- compound prefix
- compound premix
- compound pulley
- compound raceme
- compound recipe
- compound resins
- compound return
- compound rhythm
